(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun g () Real)
(declare-fun l () Real)
(declare-fun m () Real)
(declare-fun n () Real)
(assert (not (exists ((h Real)) (let ((i 0)) (let ((j 1)(k (+ (* i b) f))) (=> (and (and (and (or (and (and true) (> g 0) (>= d 7)) (>= c 0)) (> l 9)) (> n 0)) (>= a 3)) (or (>= 0 m) (<= k e))))))))
(check-sat)
